Boolean model - PDFSEARCH.IO - Document Search Engine

Boolean model
Results: 352

#	Item
181	A Unified Proof System for QBF Preprocessing? Marijn J.H. Heule1 , Martina Seidl2 , and Armin Biere2 1 Department of Computer Science, The University of Texas at Austin, USA [removed] Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-07-31 09:57:45 Automated theorem proving Boolean algebra Mathematical logic Resolution True quantified Boolean formula Conjunctive normal form Limit Literal Model theory Mathematics Logic Theoretical computer science
182	A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, and Marco Maratea MRG-DIST, University of Genova viale Francesco Causa, 13 Add to Reading List Source URL: www.satisfiability.org Language: English - Date: 2014-01-20 06:08:37 Constraint programming Model theory Automated theorem proving Logic in computer science NP-complete problems Boolean satisfiability problem Constraint satisfaction Satisfiability Interpretation Theoretical computer science Mathematical logic Mathematics
183	Bit-Precise Reasoning with Affine Functions Neil Kettle and Andy King∗ Portcullis Computer Security Limited, Pinner, HA5 2EX, UK Abstract The class of affine Boolean functions is rich enough to express constant bits an Add to Reading List Source URL: www.digit-labs.org Language: English - Date: 2008-06-09 08:21:20 Affine geometry Linear algebra Binary decision diagram Diagrams Model checking Artificial neuron Affine transformation Vector space Algebra Mathematics Boolean algebra
184	1997-Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-10 19:20:44 Automated theorem proving Boolean algebra Logic in computer science Logic programming Resolution Rewriting Clausal normal form Valuation Propositional calculus Logic Mathematical logic Mathematics
185	JEONG HAN KIM, Microsoft Research Phase Transitions in a random NK landscape Model and a random 3-SAT problem We analyze the satisfiability problem of a certain random 3-SAT problem in which the appearances of 3-clauses Add to Reading List Source URL: cms.math.ca Language: English - Date: 2006-07-10 21:18:21 Logic in computer science Population genetics 2-satisfiability Fitness landscape Boolean satisfiability problem NK model Solubility Theoretical computer science Mathematics Applied mathematics
186	BOOLEAN METHODS IN THE THEORY OF VECTOR LATTICES A. G. KUSRAEV AND S. S. KUTATELADZE Abstract. This is an overview of the recent results of interaction of Boolean valued analysis and vector lattice theory. Add to Reading List Source URL: www.math.nsc.ru Language: English - Date: 2015-01-30 06:09:18 Model theory Forcing Boolean algebra Algebraic structures Algebraic logic Boolean-valued model Symbol Interpretation First-order logic Mathematical logic Mathematics Logic
187	The Effects of Bounding Syntactic Resources on Presburger LTL ∗ St´ephane Demri LSV, ENS Cachan CNRS, INRIA Saclay [removed] Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2009-06-18 03:59:48 Automata theory Logic in computer science Model theory Complexity classes Electronic design automation Satisfiability FO Boolean satisfiability problem Constraint automaton Theoretical computer science Mathematical logic Mathematics
188	Exploring the Legal Discovery and Enterprise Tracks at the University of Iowa Brian Almquist,1 Viet Ha-Thuc,2 Aditya K. Sehgal,2 Robert Arens2 and Padmini Srinivasan1,2,3 1 Department of Management Sciences Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2008-02-11 08:41:12 Query expansion Relevance Tf*idf Search engine Vector space model Extended Boolean model Information science Information retrieval Relevance feedback
189	Journal of Reliability and Statistical Studies; ISSN (Print): [removed], (Online):[removed]Vol. 5, Issue Special (2012): [removed]MULTI-STATE SYSTEM ANALYSIS BASED ON MULTIPLE-VALUED DECISION DIAGRAM Elena Zaitseva and V Add to Reading List Source URL: www.jrss.in Language: English - Date: 2012-05-13 09:38:34 Binary decision diagram Model checking Applied mathematics Artificial neuron Algorithm Directed acyclic graph Influence diagram Diagrams Mathematics Boolean algebra
190	Journal of Artificial Intelligence Research[removed] Submitted 08/09; published[removed]Interactive Cost Configuration Over Decision Diagrams Henrik Reif Andersen Add to Reading List Source URL: www.jair.org Language: English - Date: 2010-02-27 15:21:10 Diagrams Theoretical computer science Binary decision diagram Model checking Directed acyclic graph Constraint satisfaction problem Static single assignment form Optimization problem Applied mathematics Boolean algebra Constraint programming Mathematics

UPDATE